3.19 \(\int \frac{d+e x^3}{x^3 \left (a+b x^3+c x^6\right )} \, dx\)

Optimal. Leaf size=655 \[ \frac{c^{2/3} \left (\frac{b d-2 a e}{\sqrt{b^2-4 a c}}+d\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{b-\sqrt{b^2-4 a c}}+\left (b-\sqrt{b^2-4 a c}\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} a \left (b-\sqrt{b^2-4 a c}\right )^{2/3}}+\frac{c^{2/3} \left (d-\frac{b d-2 a e}{\sqrt{b^2-4 a c}}\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{\sqrt{b^2-4 a c}+b}+\left (\sqrt{b^2-4 a c}+b\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} a \left (\sqrt{b^2-4 a c}+b\right )^{2/3}}-\frac{c^{2/3} \left (\frac{b d-2 a e}{\sqrt{b^2-4 a c}}+d\right ) \log \left (\sqrt [3]{b-\sqrt{b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} a \left (b-\sqrt{b^2-4 a c}\right )^{2/3}}-\frac{c^{2/3} \left (d-\frac{b d-2 a e}{\sqrt{b^2-4 a c}}\right ) \log \left (\sqrt [3]{\sqrt{b^2-4 a c}+b}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} a \left (\sqrt{b^2-4 a c}+b\right )^{2/3}}+\frac{c^{2/3} \left (\frac{b d-2 a e}{\sqrt{b^2-4 a c}}+d\right ) \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt{b^2-4 a c}}}}{\sqrt{3}}\right )}{\sqrt [3]{2} \sqrt{3} a \left (b-\sqrt{b^2-4 a c}\right )^{2/3}}+\frac{c^{2/3} \left (d-\frac{b d-2 a e}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{\sqrt{b^2-4 a c}+b}}}{\sqrt{3}}\right )}{\sqrt [3]{2} \sqrt{3} a \left (\sqrt{b^2-4 a c}+b\right )^{2/3}}-\frac{d}{2 a x^2} \]

[Out]

-d/(2*a*x^2) + (c^(2/3)*(d + (b*d - 2*a*e)/Sqrt[b^2 - 4*a*c])*ArcTan[(1 - (2*2^(
1/3)*c^(1/3)*x)/(b - Sqrt[b^2 - 4*a*c])^(1/3))/Sqrt[3]])/(2^(1/3)*Sqrt[3]*a*(b -
Sqrt[b^2 - 4*a*c])^(2/3)) + (c^(2/3)*(d - (b*d - 2*a*e)/Sqrt[b^2 - 4*a*c])*ArcT
an[(1 - (2*2^(1/3)*c^(1/3)*x)/(b + Sqrt[b^2 - 4*a*c])^(1/3))/Sqrt[3]])/(2^(1/3)*
Sqrt[3]*a*(b + Sqrt[b^2 - 4*a*c])^(2/3)) - (c^(2/3)*(d + (b*d - 2*a*e)/Sqrt[b^2
- 4*a*c])*Log[(b - Sqrt[b^2 - 4*a*c])^(1/3) + 2^(1/3)*c^(1/3)*x])/(3*2^(1/3)*a*(
b - Sqrt[b^2 - 4*a*c])^(2/3)) - (c^(2/3)*(d - (b*d - 2*a*e)/Sqrt[b^2 - 4*a*c])*L
og[(b + Sqrt[b^2 - 4*a*c])^(1/3) + 2^(1/3)*c^(1/3)*x])/(3*2^(1/3)*a*(b + Sqrt[b^
2 - 4*a*c])^(2/3)) + (c^(2/3)*(d + (b*d - 2*a*e)/Sqrt[b^2 - 4*a*c])*Log[(b - Sqr
t[b^2 - 4*a*c])^(2/3) - 2^(1/3)*c^(1/3)*(b - Sqrt[b^2 - 4*a*c])^(1/3)*x + 2^(2/3
)*c^(2/3)*x^2])/(6*2^(1/3)*a*(b - Sqrt[b^2 - 4*a*c])^(2/3)) + (c^(2/3)*(d - (b*d
- 2*a*e)/Sqrt[b^2 - 4*a*c])*Log[(b + Sqrt[b^2 - 4*a*c])^(2/3) - 2^(1/3)*c^(1/3)
*(b + Sqrt[b^2 - 4*a*c])^(1/3)*x + 2^(2/3)*c^(2/3)*x^2])/(6*2^(1/3)*a*(b + Sqrt[
b^2 - 4*a*c])^(2/3))

_______________________________________________________________________________________

Rubi [A]  time = 2.514, antiderivative size = 655, normalized size of antiderivative = 1., number of steps used = 14, number of rules used = 8, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.32 \[ \frac{c^{2/3} \left (\frac{b d-2 a e}{\sqrt{b^2-4 a c}}+d\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{b-\sqrt{b^2-4 a c}}+\left (b-\sqrt{b^2-4 a c}\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} a \left (b-\sqrt{b^2-4 a c}\right )^{2/3}}+\frac{c^{2/3} \left (d-\frac{b d-2 a e}{\sqrt{b^2-4 a c}}\right ) \log \left (-\sqrt [3]{2} \sqrt [3]{c} x \sqrt [3]{\sqrt{b^2-4 a c}+b}+\left (\sqrt{b^2-4 a c}+b\right )^{2/3}+2^{2/3} c^{2/3} x^2\right )}{6 \sqrt [3]{2} a \left (\sqrt{b^2-4 a c}+b\right )^{2/3}}-\frac{c^{2/3} \left (\frac{b d-2 a e}{\sqrt{b^2-4 a c}}+d\right ) \log \left (\sqrt [3]{b-\sqrt{b^2-4 a c}}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} a \left (b-\sqrt{b^2-4 a c}\right )^{2/3}}-\frac{c^{2/3} \left (d-\frac{b d-2 a e}{\sqrt{b^2-4 a c}}\right ) \log \left (\sqrt [3]{\sqrt{b^2-4 a c}+b}+\sqrt [3]{2} \sqrt [3]{c} x\right )}{3 \sqrt [3]{2} a \left (\sqrt{b^2-4 a c}+b\right )^{2/3}}+\frac{c^{2/3} \left (\frac{b d-2 a e}{\sqrt{b^2-4 a c}}+d\right ) \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{b-\sqrt{b^2-4 a c}}}}{\sqrt{3}}\right )}{\sqrt [3]{2} \sqrt{3} a \left (b-\sqrt{b^2-4 a c}\right )^{2/3}}+\frac{c^{2/3} \left (d-\frac{b d-2 a e}{\sqrt{b^2-4 a c}}\right ) \tan ^{-1}\left (\frac{1-\frac{2 \sqrt [3]{2} \sqrt [3]{c} x}{\sqrt [3]{\sqrt{b^2-4 a c}+b}}}{\sqrt{3}}\right )}{\sqrt [3]{2} \sqrt{3} a \left (\sqrt{b^2-4 a c}+b\right )^{2/3}}-\frac{d}{2 a x^2} \]

Antiderivative was successfully verified.

[In]  Int[(d + e*x^3)/(x^3*(a + b*x^3 + c*x^6)),x]

[Out]

-d/(2*a*x^2) + (c^(2/3)*(d + (b*d - 2*a*e)/Sqrt[b^2 - 4*a*c])*ArcTan[(1 - (2*2^(
1/3)*c^(1/3)*x)/(b - Sqrt[b^2 - 4*a*c])^(1/3))/Sqrt[3]])/(2^(1/3)*Sqrt[3]*a*(b -
Sqrt[b^2 - 4*a*c])^(2/3)) + (c^(2/3)*(d - (b*d - 2*a*e)/Sqrt[b^2 - 4*a*c])*ArcT
an[(1 - (2*2^(1/3)*c^(1/3)*x)/(b + Sqrt[b^2 - 4*a*c])^(1/3))/Sqrt[3]])/(2^(1/3)*
Sqrt[3]*a*(b + Sqrt[b^2 - 4*a*c])^(2/3)) - (c^(2/3)*(d + (b*d - 2*a*e)/Sqrt[b^2
- 4*a*c])*Log[(b - Sqrt[b^2 - 4*a*c])^(1/3) + 2^(1/3)*c^(1/3)*x])/(3*2^(1/3)*a*(
b - Sqrt[b^2 - 4*a*c])^(2/3)) - (c^(2/3)*(d - (b*d - 2*a*e)/Sqrt[b^2 - 4*a*c])*L
og[(b + Sqrt[b^2 - 4*a*c])^(1/3) + 2^(1/3)*c^(1/3)*x])/(3*2^(1/3)*a*(b + Sqrt[b^
2 - 4*a*c])^(2/3)) + (c^(2/3)*(d + (b*d - 2*a*e)/Sqrt[b^2 - 4*a*c])*Log[(b - Sqr
t[b^2 - 4*a*c])^(2/3) - 2^(1/3)*c^(1/3)*(b - Sqrt[b^2 - 4*a*c])^(1/3)*x + 2^(2/3
)*c^(2/3)*x^2])/(6*2^(1/3)*a*(b - Sqrt[b^2 - 4*a*c])^(2/3)) + (c^(2/3)*(d - (b*d
- 2*a*e)/Sqrt[b^2 - 4*a*c])*Log[(b + Sqrt[b^2 - 4*a*c])^(2/3) - 2^(1/3)*c^(1/3)
*(b + Sqrt[b^2 - 4*a*c])^(1/3)*x + 2^(2/3)*c^(2/3)*x^2])/(6*2^(1/3)*a*(b + Sqrt[
b^2 - 4*a*c])^(2/3))

_______________________________________________________________________________________

Rubi in Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((e*x**3+d)/x**3/(c*x**6+b*x**3+a),x)

[Out]

Timed out

_______________________________________________________________________________________

Mathematica [C]  time = 0.0778205, size = 89, normalized size = 0.14 \[ -\frac{\text{RootSum}\left [\text{$\#$1}^6 c+\text{$\#$1}^3 b+a\&,\frac{\text{$\#$1}^3 c d \log (x-\text{$\#$1})-a e \log (x-\text{$\#$1})+b d \log (x-\text{$\#$1})}{2 \text{$\#$1}^5 c+\text{$\#$1}^2 b}\&\right ]}{3 a}-\frac{d}{2 a x^2} \]

Antiderivative was successfully verified.

[In]  Integrate[(d + e*x^3)/(x^3*(a + b*x^3 + c*x^6)),x]

[Out]

-d/(2*a*x^2) - RootSum[a + b*#1^3 + c*#1^6 & , (b*d*Log[x - #1] - a*e*Log[x - #1
] + c*d*Log[x - #1]*#1^3)/(b*#1^2 + 2*c*#1^5) & ]/(3*a)

_______________________________________________________________________________________

Maple [C]  time = 0.01, size = 68, normalized size = 0.1 \[{\frac{1}{3\,a}\sum _{{\it \_R}={\it RootOf} \left ({{\it \_Z}}^{6}c+{{\it \_Z}}^{3}b+a \right ) }{\frac{ \left ( -{{\it \_R}}^{3}cd+ae-bd \right ) \ln \left ( x-{\it \_R} \right ) }{2\,{{\it \_R}}^{5}c+{{\it \_R}}^{2}b}}}-{\frac{d}{2\,a{x}^{2}}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((e*x^3+d)/x^3/(c*x^6+b*x^3+a),x)

[Out]

1/3/a*sum((-_R^3*c*d+a*e-b*d)/(2*_R^5*c+_R^2*b)*ln(x-_R),_R=RootOf(_Z^6*c+_Z^3*b
+a))-1/2*d/a/x^2

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ -\frac{\int \frac{c d x^{3} + b d - a e}{c x^{6} + b x^{3} + a}\,{d x}}{a} - \frac{d}{2 \, a x^{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((e*x^3 + d)/((c*x^6 + b*x^3 + a)*x^3),x, algorithm="maxima")

[Out]

-integrate((c*d*x^3 + b*d - a*e)/(c*x^6 + b*x^3 + a), x)/a - 1/2*d/(a*x^2)

_______________________________________________________________________________________

Fricas [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((e*x^3 + d)/((c*x^6 + b*x^3 + a)*x^3),x, algorithm="fricas")

[Out]

Timed out

_______________________________________________________________________________________

Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((e*x**3+d)/x**3/(c*x**6+b*x**3+a),x)

[Out]

Timed out

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{e x^{3} + d}{{\left (c x^{6} + b x^{3} + a\right )} x^{3}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((e*x^3 + d)/((c*x^6 + b*x^3 + a)*x^3),x, algorithm="giac")

[Out]

integrate((e*x^3 + d)/((c*x^6 + b*x^3 + a)*x^3), x)